$\forall$${\it es}$:ES, $i$:Id, ${\it ds}$:Top, $f$:$k$:Knd fp$\rightarrow$ Top, $e$:E.
\\[0ex]($\neg$(loc($e$) = $i$)) $\Rightarrow$ (($e$ $\in_{b}$ es{-}triggers(${\it es}$;$i$;${\it ds}$;$f$)) $\sim$ ff)